منابع مشابه
Refining algebraic data types
Our purpose is to formalize two potential refinements of single-sorted algebraic data types – subalgebras and algebras which satisfy equivalence relations – by considering their categorical interpretation. We review the usual categorical formalization of singleand multi-sorted algebraic data types as initial algebras, and the correspondence between algebraic data types and endofunctors. We intr...
متن کاملRefining Inductive Types
Dependently typed programming languages allow sophisticated properties of data to be expressed within the type system. Of particular use in dependently typed programming are indexed types that refine data by computationally useful information. For example, the N-indexed type of vectors refines lists by their lengths. Other data types may be refined in similar ways, but programmers must produce ...
متن کاملTowards Refining Temporal Specifications into Hybrid Systems
a self-loop at an enclosing box is interpreted as if there is a similar self-loop at each of the four internal locations. Acknowledgements. We gratefully acknowledge the help of Luca de Alfaro, Eddie Chang, Arjun Kapur, and Henny Sipma for their careful reading of the manuscript and thank them for many helpful suggestions. 15 and, consequently, the valve variables v i and v o all remain at 0, l...
متن کاملRefining Catalysis’ action types using UML transformations (position paper)
In this position paper we briefly expose issues of an ongoing work about the Catalysis methodology. We aim at providing an UML support to the refinement aspects of this methodology. To this aim we study how elementary refinement operations on actions type could be modeled using some UML model transformations.
متن کاملImmunohistochemical evaluation of lymphocyte types infiltrate into the canine seminomas
BACKGROUNDS: Seminoma is frequently observed in human and canine testes especially in cryptorchids. Canine and human seminomas are typically associated with leukocytic infiltration. OBJECTIVES: We aimed to identify the type of lymphocytes that infiltrate to seminomas. METHODS: Tumor infiltrating lymphocytes were evaluated by immunohistological techniques in 5 dogs with diffuse seminoma. Routine...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science
سال: 2018
ISSN: 0036-8075,1095-9203
DOI: 10.1126/science.360.6384.45-b